Наукова електронна бібліотека
періодичних видань НАН України

Перегляд за автором "Летичевский, А.А."

Репозиторій DSpace/Manakin

Перегляд за автором "Летичевский, А.А."

Сортувати за: Порядок: Результатів:

  • Алгоритм и инструменты построения канонических форм линейных полуалгебраических формул 
    Львов, М.С.; Песчаненко, В.С.; Летичевский, А.А.; Тарасич, Ю.Г.; Баев, А.С. (Кибернетика и системный анализ, 2018)
    Получены результаты испытаний инструментов упрощения формул, а также описан алгоритм построения канонических форм линейных полуалгебраических формул (ЛПФ). Основным результатом работы является определение канонической формы ...
  • Алгоритм Очевидности Глушкова 
    Летичевский, А.А.; Лялецкий, А.В.; Мороховец, М.К. (Кибернетика и системный анализ, 2013)
    Розглядаються загальні підходи В.М. Глушкова до проблеми штучного інтелекту. Зокрема, детально висвітлюється історія досліджень за програмою «Алгоритм Очевидності», ініційованою В.М. Глушковим. Аналізуються результати, ...
  • Алгоритм трансляции APLAN-кода 
    Летичевский, А.А.; Летичевский, А.А. (мл.); Песчаненко, В.С. (Управляющие системы и машины, 2010)
    Рассмотрен алгоритм трансляции APLAN-кода в системе алгебраического программирования APS с использованием методов инсерционного моделирования.
  • Генерация символьных трасс в системе инсерционного моделирования 
    Летичевский, А.А.; Летичевский, А.Ал.; Песчаненко, В.С.; Губа, А.А. (Кибернетика и системный анализ, 2015)
    Описан новый генератор символьных трасс, разработанный для последней версии системы инсерционного моделирования. Основными характеристиками генератора являются использование графического представления описания многоуровневых ...
  • Генерация тестовых сценариев на основе формальной модели 
    Летичевский, А.А.; Колчин, А.В. (2010)
    Описан метод направленного поиска для автоматического построения тестовых сценариев в процессе верификации. Основная цель – достижение семантического соответствия между полученными тестовыми сценариями и функциональными ...
  • Достижения и проблемы кибернетики и информатики в Украине 
    Капитонова, Ю.В.; Летичевский, А.А. (Наука та наукознавство, 2007)
    Приведены обзор достижений Института кибернетики им. В.М.Глушкова за 1992—2006 гг., некоторые соображения, связанные с особой важностью информационных технологий, названы наиболее важные комплексные проблемы развития ...
  • Кибер-физические системы 
    Летичевский, А.А.; Летичевский, А.А. мл.; Скобелев, В.Г.; Волков, В.А. (Кибернетика и системный анализ, 2017)
    Приведен ретроспективный анализ теории кибер-физических систем и охарактеризовано ее современное состояние. Исследован ряд проблем, возникающих в теории гибридных автоматов. Рассмотрена полугрупповая система переходов, ...
  • Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем 
    Колчин, А.В.; Летичевский, А.А.; Потиенко, С.В. (Проблеми програмування, 2014)
    Описан метод выявления таких патологий формальных моделей, как неполнота и противоречивость, а так же гонки в параллельных процессах. Метод реализует проверку свойств на основании анализа описания переходов модели, при ...
  • Обзор систематических методов автоматической генерации тестовых данных по исходному коду программ 
    Волков, В.А.; Колчин, А.В.; Летичевский, А.А.; Потиенко, С.В. (Штучний інтелект, 2017)
    Обзор включает описание распространенных типов покрытия и современных методов генерации тестов из кода императивных программ. Особое внимание уделено методам, в основу которых положена техника символьного выполнения. ...
  • Обзор современных систем и методов верификации формальных моделей 
    Колчин, А.В.; Летичевский, А.А.; Потиенко, С.В.; Песчаненко, В.С. (Проблеми програмування, 2012)
    Приведен обзор автоматических методов проверки правильности формальных моделей программных систем. Рассмотрены проверяемые свойства, методы редукции и современные инструментальные средства проверки моделей.
  • Об одном классе базовых протоколов 
    Летичевский, А.А. (2005)
    Рассматривается проблема представления требований к поведению интерактивной системы в виде формальных спецификаций, а также ее верификация и генерация трасс, используемых для создания тестовых наборов. Исследуется специальный ...
  • Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования 
    Летичевский, А.А.; Герман, В.Н.; Мороховец, М.К.; Щеголева, Н.Н. (Кибернетика и системный анализ, 2010)
    Описано програмні засоби паралельного пошуку логічного виводу у пропозиційному численні та подано результати експериментів з ними. Програмні засоби розроблено на базі системи алгебричного програмування АПС та кластерного ...
  • Рецензия на книгу 
    Летичевский, А.А.; Скобелев, В.Г. (Кибернетика и системный анализ, 2016)
    Рецензия на книгу: R.R. Kline. The Cybernetics Moment. Or Why We Call Our Age the Information Age (New Studies in American Intellectual and Cultural History) — Baltimore: Johns Hopkins University Press, 2015. — 352 pp.
  • Свойства предикатного трансформера системы VRS 
    Летичевский, А.А.; Годлевский, А.Б.; Летичевский, А.А. (мл.); Потиенко, С.В.; Песчаненко, В.С. (Кибернетика и системный анализ, 2010)
    Розглянуто моделі, записані в мові базових протоколів. Вони є атрибутними транзиційними системами, а їх стани задаються формулами багатосортного числення предикатів першого порядку над атрибутами системи. Допускаються ...
  • Статический метод устранения избыточных информационных связей в предусловиях переходов формальных моделей транзиционных систем 
    Колчин, А.В.; Летичевский, А.А.; Потиенко, С.В. (Штучний інтелект, 2015)
    Цель предлагаемого метода – сократить исследуемое пространство поведения формальных моделей, и, как следствие, повысить эффективность анализа ее свойств. В основу метода положен алгоритм статического символьного анализа ...